automatic theorem proving - Spanish English Dictionary